range: x and y coordinates of the arrow rendering should be double

To prevent off-by-one rounding errors when drawing them later.

diff --git a/gtk/gtkrange.c b/gtk/gtkrange.c
index 624875e43243a777c888ac8a6c1ba959c02376a8..7fc8434d4c5912479b6e14ca441fbff68ec9c82d 100644 (file)
--- a/gtk/gtkrange.c
+++ b/gtk/gtkrange.c
@@ -1859,8 +1859,8 @@ draw_stepper (GtkRange     *range,
   GtkWidget *widget = GTK_WIDGET (range);
   gfloat arrow_scaling;
   GdkRectangle *rect;
-  gint arrow_x;
-  gint arrow_y;
+  gdouble arrow_x;
+  gdouble arrow_y;
   gdouble arrow_size, angle;
   gboolean arrow_sensitive;